Title: Formal Methods in System Design

Publisher: Kluwer Academic Publishers

(ISSN -: 0925-9856) (E-ISSN -: 1572-8102)

Institute City Available Form Holdings Last Update Action